$\forall$$T$, ${\it TA}$:(Id$\rightarrow$Type), $M$:(IdLnk$\rightarrow$Id$\rightarrow$Type). NullMachine $\in$ w{-}automaton($T$;${\it TA}$;$M$)